Universal Access To All Knowledge
Home Donate | Store | Blog | FAQ | Jobs | Volunteer Positions | Contact | Bios | Forums | Projects | Terms, Privacy, & Copyright
Search: Advanced Search
Anonymous User (login or join us)
Upload
Search Results
Results: 1 through 18 of 18 (0.002 secs)
You searched for: subject:"equivalence class"
[texts]ti :: ti-mix :: 1983 tiug SoftwEngr
From the bitsavers.org collection, a scanned-in computer-related document.ti :: ti-mix :: 1983 tiug SoftwEngr
Keywords: test; software; unstructured; errors; user; equivalence; structured; testing; error; system; structured test; software testing; test cases; test case; test plan; equivalence class; software errors; test plans; unstructured testing; test data
Downloads: 23
[texts]BSTJ 39: 5. September 1960: Some Further Theory of Group Codes. (Slepian, David)
Bell System Technical Journal, 39: 5. September 1960 pp 1219-1252. Some Further Theory of Group Codes. (Slepian, David)
Keywords: columns; equivalence; matrix; indecomposable; vectors; code; theorem; codes; equivalent; generator; generator matrices; indecomposable codes; equivalence classes; bell system; group codes; equivalence class; linear form; system technical; generator matrix; maximum likelihood
Downloads: 40
[texts]mit :: lcs :: tm :: MIT-LCS-TM-017
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-017
Keywords: complexity; program; input; equivalence; programs; inputs; set; iff; valid; defined; input set; valid input; equivalence classes; complexity equivalence; equivalence class; complexity measures; complexity behavior; loop block; resource usage; input sets
Downloads: 40 (1 review)
[texts]mit :: lcs :: tr :: MIT-LCS-TR-413
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-413
Keywords: equivalence; automaton; inference; vertex; algorithm; permutation; tests; theorem; experiment; finite; test equivalence; inference algorithm; update graph; inference procedure; equivalence class; equivalence classes; random walk; basic actions; simple assignment; assignment automaton
Downloads: 52
[texts]BSTJ 57: 1. January 1978: Reduction of Network States Under Symmetries. (Benes, V.E.)
Bell System Technical Journal, 57: 1. January 1978 pp 111-149. Reduction of Network States Under Symmetries. (Benes, V.E.)
Keywords: network; equivalence; routing; group; switches; symmetry; permutation; matrix; equations; terminals; routing matrix; equivalence classes; system technical; equivalence class; bell system; structural equivalence; switch permutation; network graph; symmetry group; transition rate
Downloads: 20
[texts]mit :: lcs :: tr :: MIT-LCS-TR-144
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-144
Keywords: lemma; theorem; define; proof; sequence; formulas; constant; formula; definition; equivalence; upper bound; lower bound; elementary recursive; decision procedure; turing machine; nonempty collection; predicate calculus; decision procedures; weak direct; equivalence class
Downloads: 23
[texts]mit :: ai :: aim :: AIM-708
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-708
Keywords: expression; expressions; congruence; grammar; equalities; maximal; simplicity; symbol; generated; boolean; equivalence class; congruence relation; context free; boolean formula; free expression; simplicity order; congruence closure; expression form; language generated; maximal expression
Downloads: 16
[texts]mit :: ai :: aim :: AITR-550
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AITR-550
Keywords: canonical; equality; node; designators; designator; constraint; tms; expr; system; truth; canonical names; quantified knowledge; equality system; canonical naming; tms node; algebraic simplification; chapter iii; primitive functions; constraint propagation; equivalence class
Downloads: 30
[texts]mit :: ai :: aim :: AIM-140
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-140
Keywords: predicate; order; linear; predicates; geometric; polynomial; invariant; theorem; unrecognizable; function; linearly unrecognizable; geometric predicates; turing machine; seymour papert; linear threshold; normal form; equivalence class; unrecognizable patterns; boolean function; equivalence classes
Downloads: 25
[texts]mit :: ai :: aim :: AIM-521
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-521
Keywords: node; nodes; tms; justifications; justification; set; belief; beliefs; program; step; valid justification; inference rules; current set; belief revision; truth maintenance; conventional view; default assumption; problem solving; problem solver; equivalence class
Downloads: 28
[texts]mit :: lcs :: tm :: MIT-LCS-TM-042
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-042
Keywords: lemma; theorem; theory; define; abelian; formula; elementary; equivalence; exists; constant; pairwise disjoint; generated abelian; weak direct; elementary recursive; direct product; decision procedure; equivalence classes; order theory; equivalence class; finitely generated
Downloads: 27
[texts]mit :: ai :: aim :: AIM-1342
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-1342
Keywords: grammar; rewriting; equivalence; term; canonical; productions; congruence; nonterminal; equation; finite; nonterminal symbol; grammar term; grammar rewriting; equation set; equivalence class; congruence grammar; equivalence relation; rewriting system; weight function; locally context
Downloads: 31
[texts]mit :: ai :: aim :: AIM-867
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-867
Keywords: phonetic; constraints; unstressed; stressed; broad; recognition; equivalence; phonemes; articulation; syllables; sequential phonetic; equivalence classes; broad phonetic; class size; phonetic constraints; stressed syllables; ambisyllabic phonemes; equivalence class; unstressed syllables; phonetic sequence
Downloads: 20
[texts]dec :: tech reports :: SRC-RR-171
From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: SRC-RR-171
Keywords: denali; code; matcher; program; equivalence; boolean; satisfiability; machine; matching; conjecture; code generator; machine program; machine code; equivalence class; search principle; satisfiability solver; equivalence classes; compaq systems; technical report; target architecture
Downloads: 3
[texts]dec :: tech reports :: SRC-RR-38
From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: SRC-RR-38
Keywords: fixpoint; dovetail; commands; theorem; lemma; report; operator; equivalence; proof; looping; looping outcomes; equivalence class; manfred broy; greg nelson; fixpoint method; equivalence relation; commands defined; unbounded nondeterminism; stepping stone; fewer looping
[texts]dec :: tech reports :: WRL-94-5
From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: WRL-94-5
Keywords: wrl; ecl; report; algorithm; boolean; gates; lemma; gate; fanin; technical; wrl technical; technical note; boolean function; equivalence class; boolean matching; ecl gate; valid decomposition; technology mapping; technology mapper; fanin max
[texts]dec :: tech reports :: WRL-TN-37
From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: WRL-TN-37
Keywords: wrl; ecl; algorithm; boolean; report; gates; lemma; gate; fanin; technical; wrl technical; technical note; boolean function; equivalence class; boolean matching; ecl gate; technology mapper; ecl gates; valid decomposition; technology mapping
[texts]dec :: tech reports :: SRC-RR-55
From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: SRC-RR-55
Keywords: type; quest; types; interpretation; equivalence; env; vee; longo; semantics; subsumption; env vee; equivalence class; subsumption rule; record types; programming language; equivalence classes; typed terms; semantic interpretation; recursive types; partial equivalence
Advanced search

Group results by:

> Relevance
Mediatype
Collection

Related creators

Related mediatypes

texts